structure S =
struct
  datatype t = FOO
end
datatype t = datatype S.t
